M ay 2 00 9 Genus 3 curves with many involutions and application to maximal curves in characteristic 2
نویسندگان
چکیده
Let k = Fq be a finite field of characteristic 2. A genus 3 curve C/k has many involutions if the group of k-automorphisms admits a C2 × C2 subgroup H (not containing the hyperelliptic involution if C is hyperelliptic). Then C is an ArtinSchreier cover of the three elliptic curves obtained as the quotient of C by the nontrivial involutions of H , and the Jacobian of C is k-isogenous to the product of these three elliptic curves. In this paper we exhibit explicit models for genus 3 curves with many involutions, and we compute explicit equations for the elliptic quotients. We then characterize when a triple (E1, E2, E3) of elliptic curves admits an ArtinSchreier cover by a genus 3 curve, and we apply this result to the construction of maximal curves. As a consequence, when q is nonsquare and m := ⌊2√q⌋ ≡ 1, 5, 7 (mod 8), we obtain that Nq(3) = 1 + q + 3m. We also show that this occurs for an infinite number of values of q nonsquare. Let C be a smooth, absolutely irreducible, projective curve of genus g > 0 over a finite field k = Fq. The question to determine the maximal number of points Nq(g) of such a curve C is a tantalizing one. Curves such that #C(k) = Nq(g) are called maximal curves. Serre-Weil bound shows that Nq(g) ≤ 1 + q + gm, where m = ⌊2 √ q⌋. However, no general formula is known for the value of Nq(g) (so far not even for infinitely many values of q) when g > 2 is fixed and q is not a square. For g = 3, because of the so-called Serre’s twisting factor (or Serre’s obstruction, see [LR08], [LRZ08]), the best general result is that for a given q, either q + 1+ 3m−Nq(3) ≤ 3 or Mq(3)− (q + 1− 3m) ≤ 3, where Mq(3) is the minimum number of points [Lau02]. Although this obstruction is now better understood and can be computed in some cases [Rit09], we are still not able to find Nq(3) for a general q. However, when q is a square, Nq(3) is known for infinitely many values; see [Ibu93] when the characteristic is odd, and [NR08] for the characteristic 2 case, where Nq(3) is determined for all square q. ∗The authors acknowledge support from the project MTM2006-11391 from the Spanish MEC
منابع مشابه
Genus 3 curves with many involutions and application to maximal curves in characteristic 2
Let k = Fq be a finite field of characteristic 2. A genus 3 curve C/k has many involutions if the group of k-automorphisms admits a C2 × C2 subgroup H (not containing the hyperelliptic involution if C is hyperelliptic). Then C is an ArtinSchreier cover of the three elliptic curves obtained as the quotient of C by the nontrivial involutions of H , and the Jacobian of C is k-isogenous to the prod...
متن کاملOne-point Goppa Codes on Some Genus 3 Curves with Applications in Quantum Error-Correcting Codes
We investigate one-point algebraic geometric codes CL(D, G) associated to maximal curves recently characterized by Tafazolian and Torres given by the affine equation yl = f(x), where f(x) is a separable polynomial of degree r relatively prime to l. We mainly focus on the curve y4 = x3 +x and Picard curves given by the equations y3 = x4-x and y3 = x4 -1. As a result, we obtain exact value of min...
متن کاملar X iv : a lg - g eo m / 9 61 00 23 v 1 3 1 O ct 1 99 6 ON MAXIMAL CURVES
We study arithmetical and geometrical properties of maximal curves, that is, curves defined over the finite field F q 2 whose number of F q 2-rational points reaches the Hasse-Weil upper bound. Under a hypothesis on non-gaps at a rational point, we prove that maximal curves are F q 2-isomorphic to y q + y = x m , for some m ∈ Z +. As a consequence we show that a maximal curve of genus g = (q − ...
متن کاملm at h . A G ] 1 6 M ay 2 00 3 Green ’ s canonical syzygy conjecture for generic curves of odd genus Claire Voisin
The direction ⇒ is proved by Green and Lazarsfeld in the appendix to [3]. The case p = g − 2 of the conjecture is equivalent to Noether’s theorem, and the case p = g − 3 to Petri’s theorem (see [5]). The case p = g − 4 has been proved in any genus by Schreyer [9] and by the author [12] for g > 10. More recently, the conjecture has been studied in [10], [11], for generic curves of fixed gonality...
متن کاملar X iv : m at h / 01 05 23 2 v 1 [ m at h . N T ] 2 8 M ay 2 00 1 MODULAR CURVES OF GENUS 2
We prove that there are exactly 149 genus two curves C defined over Q such that there exists a nonconstant morphism π : X 1 (N) → C defined over Q and the jacobian of C is Q-isogenous to the abelian variety A f attached by Shimura to a newform f ∈ S 2 (Γ 1 (N)). We determine the corresponding newforms and present equations for all these curves.
متن کامل